COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input acphdr
C00004 ENDMK
C⊗;
\input acphdr
\tenpoint
\def\circle#1{\hjust to 10pt{#1\hskip-10ptminus10pt
\raise 6.944pt\hjust{\:@\char'141}\hskip0ptminus10pt}}
\def\omod{\hjust to 25pt{\hfill$\vcenter{\hjust{\:@\char'140}}$\hfill}\hskip-25pt
\raise .3pt\hjust to 25pt{\hfill$\vcenter{\moveleft .2pt\hjust{\:emod}}$\hfill}}
\def\expcirc#1{{\hjust to 9pt{\hfill
\hjust to 0pt{\hskip 0pt minus 100pt\raise 5.0833pt
\hjust{\:@\char'142}\hskip 0pt minus 100pt}\!
\hjust to 0pt{\hskip 0pt minus 100pt\:e#1\hskip 0pt minus 100pt}\hfill}}}
\def\upper#1{\mathop{\hjust to 8.889pt{\:u\char'156\hskip-8.889pt\hfill
$\vcenter{\hjust{$\scriptscriptstyle#1$}}$\hfill}}}
\def\lower#1{\mathop{\hjust to 8.889pt{\:u\char'157\hskip-8.889pt\hfill
$\vcenter{\hjust{$\scriptscriptstyle#1$}}$\hfill}}}
\circle{12}
\hjust{$x+1\omod 1$}
\hjust{$x↑\expcirc2+y↑\expcirc2-(x\oplus y)↑\expcirc2$}
\upper+
\upper-
\upper\times
\upper/
\lower+
\lower-
\lower\times
\lower/